.highlight {
	background: rgb(255, 255, 255);
}
.highlight .c {
	color: rgb(153, 153, 136); font-style: italic;
}
.highlight .err {
	color: rgb(166, 23, 23); background-color: rgb(227, 210, 210);
}
.highlight .k {
	font-weight: bold;
}
.highlight .o {
	font-weight: bold;
}
.highlight .cm {
	color: rgb(153, 153, 136); font-style: italic;
}
.highlight .cp {
	color: rgb(153, 153, 153); font-weight: bold;
}
.highlight .c1 {
	color: rgb(153, 153, 136); font-style: italic;
}
.highlight .cs {
	color: rgb(153, 153, 153); font-style: italic; font-weight: bold;
}
.highlight .gd {
	color: rgb(0, 0, 0); background-color: rgb(255, 221, 221);
}
.highlight .gd .x {
	color: rgb(0, 0, 0); background-color: rgb(255, 170, 170);
}
.highlight .ge {
	font-style: italic;
}
.highlight .gr {
	color: rgb(170, 0, 0);
}
.highlight .gh {
	color: rgb(153, 153, 153);
}
.highlight .gi {
	color: rgb(0, 0, 0); background-color: rgb(221, 255, 221);
}
.highlight .gi .x {
	color: rgb(0, 0, 0); background-color: rgb(170, 255, 170);
}
.highlight .go {
	color: rgb(136, 136, 136);
}
.highlight .gp {
	color: rgb(85, 85, 85);
}
.highlight .gs {
	font-weight: bold;
}
.highlight .gu {
	color: rgb(170, 170, 170);
}
.highlight .gt {
	color: rgb(170, 0, 0);
}
.highlight .kc {
	font-weight: bold;
}
.highlight .kd {
	font-weight: bold;
}
.highlight .kp {
	font-weight: bold;
}
.highlight .kr {
	font-weight: bold;
}
.highlight .kt {
	color: rgb(68, 85, 136); font-weight: bold;
}
.highlight .m {
	color: rgb(0, 153, 153);
}
.highlight .s {
	color: rgb(221, 17, 68);
}
.highlight .na {
	color: rgb(0, 128, 128);
}
.highlight .nb {
	color: rgb(0, 134, 179);
}
.highlight .nc {
	color: rgb(68, 85, 136); font-weight: bold;
}
.highlight .no {
	color: rgb(0, 128, 128);
}
.highlight .ni {
	color: rgb(128, 0, 128);
}
.highlight .ne {
	color: rgb(153, 0, 0); font-weight: bold;
}
.highlight .nf {
	color: rgb(153, 0, 0); font-weight: bold;
}
.highlight .nn {
	color: rgb(85, 85, 85);
}
.highlight .nt {
	color: rgb(0, 0, 128);
}
.highlight .nv {
	color: rgb(0, 128, 128);
}
.highlight .ow {
	font-weight: bold;
}
.highlight .w {
	color: rgb(187, 187, 187);
}
.highlight .mf {
	color: rgb(0, 153, 153);
}
.highlight .mh {
	color: rgb(0, 153, 153);
}
.highlight .mi {
	color: rgb(0, 153, 153);
}
.highlight .mo {
	color: rgb(0, 153, 153);
}
.highlight .sb {
	color: rgb(221, 17, 68);
}
.highlight .sc {
	color: rgb(221, 17, 68);
}
.highlight .sd {
	color: rgb(221, 17, 68);
}
.highlight .s2 {
	color: rgb(221, 17, 68);
}
.highlight .se {
	color: rgb(221, 17, 68);
}
.highlight .sh {
	color: rgb(221, 17, 68);
}
.highlight .si {
	color: rgb(221, 17, 68);
}
.highlight .sx {
	color: rgb(221, 17, 68);
}
.highlight .sr {
	color: rgb(0, 153, 38);
}
.highlight .s1 {
	color: rgb(221, 17, 68);
}
.highlight .ss {
	color: rgb(153, 0, 115);
}
.highlight .bp {
	color: rgb(153, 153, 153);
}
.highlight .vc {
	color: rgb(0, 128, 128);
}
.highlight .vg {
	color: rgb(0, 128, 128);
}
.highlight .vi {
	color: rgb(0, 128, 128);
}
.highlight .il {
	color: rgb(0, 153, 153);
}
